退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过QBF伪单元传播有效量子句学习量化布尔公式
Florian Lonsing; Uwe Egly; Allen Van Gelder; Technische Universität Wien;
机译:量化布尔公式评估中的条款/术语解析和学习
机译:通过QBF伪单元传播对量化布尔公式进行有效子句学习
机译:VLSI CAD中的伪布尔可满足性和量化布尔公式
机译:单个块能力预测有效或浅的L2处理:从相对条款中的多语单位的眼睛跟踪证据
机译:在量化评估中的条款/术语解决和学习 布尔公式
机译:量化布尔公式(QBF)求解器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。